XEROX Composition Modeling of Physical Systems
نویسندگان
چکیده
منابع مشابه
Modeling the Thermodynamic Properties of Solutions Containing Polymer and Electrolyte with New Local Composition Model
A new theory model based on the local composition concept (TNRF-modified NRTL (TNRF-mNRTL) model) was developed to express the short-range contribution of the excess Gibbs energy for the solutions containing polymer and electrolyte. An equation represented the activity coefficient of solvent was derived from the proposed excess Gibbs energy equation. The short-range contribution of interaction ...
متن کاملFault Modeling for Monitoring and Diagnosis of Sensor-Rich Hybrid Systems
This paper presents a framework for modeling faults in hybrid systems that leads to an efficient approach for monitoring and diagnosis of real-time embedded systems. We describe a fault parameterization based on hybrid automata models and consider both abrupt failures and gradual degradation of system components. Our approach also addresses the computational problem of coping with large amount ...
متن کاملCompositional Modeling of Physical Systems
Automating analysis of physical systems requires techniques for managing complexity and finding an appropriate model for an analysis . Compositional modeling is a strategy for organizing multi-grain, multi-perspective models of physical phenomena which addresses these problems . In this paper, we identify several limitations with the approach presented in [7] and describe important extensions t...
متن کاملModeling of liquid–liquid equilibria of aqueous alcohol + salt systems using amodified NRTL
The modified NRTL (m-NRTL) model is used to represent the excess Gibbs free energy of aqueous (alcohol + electrolyte) solutions. In this work, the m-NRTL model previously developed for representation of vapor-liquid equilibria for (polymer + salt + water) systems has been extended to represent liquid-liquid equilibria of (alcohol + salt + water) systems. The proposed extension is a modified of ...
متن کاملFormal Method in Service Composition in Heath Care Systems
One of the areas with greatest needs having available information at the right moment and with high accuracy is healthcare. Right information at right time saves lives. Healthcare is a vital domain which needs high processing power for high amounts of data. Due to the critical and the special characteristics of these systems, formal methods are used for specification, description and verificati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003